Creol: A type-safe object-oriented model for distributed concurrent systems
نویسندگان
چکیده
منابع مشابه
Creol: A type-safe object-oriented model for distributed concurrent systems
Object-oriented distributed computing is becoming increasingly important for critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These models may be criticized in the distributed setting for their tight coupling of communication and synchronization; network delays and instabilities may locally result in much waiting and even deadlock. The...
متن کاملConcurrent Object-Oriented Programming for Distributed Real-time Systems
Concurrent object-oriented programming is becoming an important programming paradigm in real-time system implementations, because it can e ectively integrate object-oriented programming, concurrent processing, and distributed processing. As run-time e ciency and program maintainability are strongly required in real-time systems, elaborated tuning is required both in application system design an...
متن کاملA Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
The wide availability of multi-core processors and the ubiquitous presence of the Internet lead to new challenges in software design and implementation. Software has to be written in a parallelizable way to profit from multiple cores. Interaction with distributed Internet services requires coping with message delays and network failures. These challenges reach application domains, like desktop ...
متن کاملMonitoring and Debugging Concurrent and Distributed Object-Oriented Systems
A major part of debugging, testing, and analyzing a complex software system is understanding what is happening within the system at run-time. Some developers advocate running within a debugger to better understand the system at this level. Others embed logging statements, even in the form of hard-coded calls to print functions, throughout the code. These techniques are all general, rough forms ...
متن کاملA Formal Model of Concurrency for Distributed Object-Oriented Systems
It is widely accepted that object-oriented constructions can be used as a pertinent basis for the support of distributed systems consisting of concurrently executing objects that communicate and interoperate among them. In this context, distributed object systems are representedfrom a process-oriented perspective which uses the process as the basic modelling structure. This point of view allows...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.07.031